The Stability Problem for Discrete Event Dynamical Systems Modeled with timed Petri Nets Using a Lyapunov-Max-Plus Algebra Approach
نویسنده
چکیده
A discrete event system, is a dynamical system whose state evolves in time by the occurrence of events at possibly irregular time intervals. Place-transitions Petri nets (commonly called Petri nets) are a graphical and mathematical modeling tool applicable to discrete event systems in order to represent its states evolution. Timed Petri nets are an extension of Petri nets that model discrete event systems where now the timing at which the state changes is taken into consideration. One of the most important performance issues to be considered in a discrete event dynamical system is its stability. Lyapunov stability theory provides the required tools needed to aboard the stability problem for discrete event systems modeled with timed Petri nets whose mathematical model is given in terms of difference equations. By proving practical stability one is allowed to preassigned the bound on the discrete event systems dynamics performance. Moreover, employing Lyapunov methods, a sufficient condition for the stabilization problem is also obtained. It is shown that it is possible to restrict the discrete event systems state space in such a way that boundedness is guaranteed. However, this restriction results to be vague. This inconvenience is overcome by considering a specific recurrence equation, in the max-plus algebra, which is assigned to the timed Petri net graphical model. Mathematics Subject Classification: 08A99, 93D35, 93D99, 39A11
منابع مشابه
A Mixed Lyapunov-Max-Plus Algebra Approach to the Stability Problem for a two Species Ecosystem Modeled with Timed Petri Nets
Consider the interaction of populations, in which there are exactly two species, one of which the predators eats the other the prey thereby affecting each other , s growth rates. In the study of this growth rate dynamics Lotka-Volterra models have been used. This paper proposes a new modeling and analysis methodology which consists in considering the growth rate dynamics as a discrete event sys...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملTime Management Approach on a Discrete Event Manufacturing System Modeled by Petri Net
Discrete event system, Supervisory control, Petri Net, Constraint This paper presents a method to manage the time in a manufacturing system for obtaining an optimized model. The system in this paper is modeled by the timed Petri net and the optimization is performed based on the structural properties of Petri nets. In a system there are some states which are called forbidden states an...
متن کاملParallel Computer Processing Systems Are Better Than Serial Computer Processing Systems
The main objective and contribution of this paper consists in using a formal and mathematical approach to prove that parallel computer processing systems are better than serial computer processing systems, better related to: saving time and/or money and being able to solve larger problems. This is achieved thanks to the theory of Lyapunov stability and max-plus algebra applied to discrete event...
متن کاملControl of Hybrid Petri Nets using Max-Plus Algebra
In this paper, Hybrid Petri Nets are proposed as a modelling methodology to control production in a large class of manufacturing processes. A hybrid Petri net (HPN) is a combination of a ‘classical’ Petri net and a continuous Petri net, the ‘fluid’ version of a timed Petri net. The two parts of an HPN can affect each other. In the particular model proposed, the discrete part of the HPN ‘regulat...
متن کامل